ANSI-C相关论文
模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法.为了利用模型检测技术,通常的办法是手工构建一个抽象模型,然而这个......
综合运用ANSI-C和VBScript语言编制加密程序，实现了执行动作的授权化、组态环境和运行环境的分离以及运行环境的安全退出等功能。设......
模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。为了利用模型检测技术，通常的办法是手工构建一个抽象模型，然而这个方......
<正> 2003年8月14日NI宣布推出NI LabWindows/CVI 7.0版,这是NI的ANSIC测试测量开发环境LabWindows/CVI 15年来最重要的一次升级。......
